﻿using Nemerle.Collections;
using Nemerle.Text;
using Nemerle.Utility;

using System;
using System.Collections.Generic;
using System.Linq;

namespace BetterCS
{
  [Record]
  class AutoCtor
  {
    public Name : string { get; set; }
    public Age : int { get; set; }
    
    public static MeetHilbert() : void
    {
      def hilbert = AutoCtor("David Hilbert", 81);
      Console.WriteLine(
        $"I'm $(hilbert.Name). I died when I was $(hilbert.Age)"
      );
    }
  }
}
